\begin{tabbing}
ma{-}knows\=\{i:l\}\+
\\[0ex](${\it poss}$; $i$; $T$; $s$; $P$; ${\it Rs}$; $R$)
\-\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=$\forall$$e$:possible{-}event\=\{i:l\}\+\+
\\[0ex](${\it poss}$).
\-\\[0ex]poss{-}consistent($i$;$T$;$s$;$e$;${\it Rs}$) $\Rightarrow$ es{-}knows\{i:l\}(${\it poss}$; $R$; $P$; $e$)
\-
\end{tabbing}